1. Tests and Proofs
Author: \ Jasmin Christian Blanchette, Nikolai Kosmatov (eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer software -- Testing -- Congresses.,Computer software -- Verification -- Congresses.,نرمافزار -- آزمایش -- کنگره ها ,نرمافزار -- راستیآزمایی -- کنگره ها
Classification :
QA
76
.
76
.
T48
2015
E-Book
,
